linked inference rule

连接推理规则